“1차 이론”으로 총 1건 검색

• 1차 이론, 一次理論, first order theory

  1차 논리에서의 기호, 상수, 변수, 항, 술어의 정의와 우량 형식에 관한 공리, 추론 규칙으로 표현하는 이론. 1차 논리란 술어 기호 내에 또 다른 술어 기호가 나타나지 않는 논리를 의미한다.